let ((_ : exn) & (Failure _) | (_)) = exn ()